Speci cation Language Du Li and Richard
نویسنده
چکیده
COCA (Collaborative Objects Coordination Architecture) was proposed as a novel means to model and support collaborations over the Internet. Our approach separates coordination policies from user interfaces and the policies are speci ed in a logic-based language. Over the past year, both the collaboration model and the speci cation language have been substantially re ned and evaluated through our experience in building real-life collaboration systems. This paper presents the design of the speci cation language and illustrates the main ideas with a few simple design examples. Semantics, implementation, runtime support, and applications are also covered but not as the focus of this paper.
منابع مشابه
Du Li and Richard
COCA (Collaborative Objects Coordination Architecture) was proposed as a novel means to model and support collaborations over the Internet. Our approach separates coordination policies from user interfaces and the policies are speci ed in a logic-based language. Over the past year, both the collaboration model and the speci cation language have been substantially re ned and evaluated through ou...
متن کاملSpectur | A Speci cation Language for the Programmer
Spectur (Speci cation language after Turing) has been designed as a language for formal speci cation. The goals of the language include: ease of use by a speci er to write a software system speci cation from an informal description; ease of use by an implementor to build a program from a speci cation; ease of understanding by a user as documentation; ease of use by a mathematician to prove prog...
متن کاملVerification of clock constraints: CCSL Observers in Esterel
The Clock Constraint Speci cation Language (ccsl) has been informally introduced in the speci cations of the uml Pro le for Modeling and Analysis of Real-Time and Embedded systems (MARTE). In a previous report entitled Syntax and Semantics of the Clock Constraint Speci cation Language , we equipped a kernel of ccsl with an operational semantics. In the present report we pursue this clari cation...
متن کاملScript-Based QOS Speci cations for Multimedia Presentations
Multimedia presentations can convey information not only by the sequence of events but by their timing. The correctness of such presentations thus depends on the timing of events as well as their sequence and content. This paper introduces a formal speci cation language for playback of real-time presentations. The main contribution of this language is a quality of service (QOS) speci cation tha...
متن کاملAttempto Controlled English - Not Just Another Logic Specification Language
The speci cation language Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a domain-speci c vocabulary and a restricted grammar. The restriction of full natural language to a controlled subset is essential for ACE to be suitable for speci cation purposes. The main goals of this restriction are to reduce ambiguity and vagueness inherent i...
متن کامل